prove addition is associative